[next] [prev] [prev-tail] [tail] [up]

2.2.20 Integrals 1901 to 2000

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 109 111 109 83 113 118

N.S.

1 1.00 1.00 1.47 1.50 1.47 1.12 1.53 1.59

time (sec)

N/A 0.021 0.021 0.618 0.266 2.537 0.180 1.197 2.027

Problem 1902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 114 108 115 164 102 164 123

N.S.

1 1.00 1.52 1.44 1.53 2.19 1.36 2.19 1.64

time (sec)

N/A 0.043 0.025 0.645 0.293 1.899 0.316 1.861 0.073

Problem 1903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 114 114 120 178 128 110 130

N.S.

1 1.00 1.46 1.46 1.54 2.28 1.64 1.41 1.67

time (sec)

N/A 0.039 0.029 0.661 0.268 2.281 0.529 1.478 2.042

Problem 1904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 79 120 135 168 148 117 138

N.S.

1 1.00 0.92 1.40 1.57 1.95 1.72 1.36 1.60

time (sec)

N/A 0.039 0.028 0.622 0.291 2.483 0.625 1.204 0.093

Problem 1905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 501 817 493 515 580 555 492

N.S.

1 1.00 3.50 5.71 3.45 3.60 4.06 3.88 3.44

time (sec)

N/A 0.220 0.050 0.993 0.269 2.100 0.057 0.944 2.132

Problem 1906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 413 688 409 436 500 470 405

N.S.

1 1.00 2.83 4.71 2.80 2.99 3.42 3.22 2.77

time (sec)

N/A 0.173 0.036 1.004 0.278 2.809 0.044 3.158 2.084

Problem 1907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 301 559 348 357 401 384 340

N.S.

1 1.00 2.53 4.70 2.92 3.00 3.37 3.23 2.86

time (sec)

N/A 0.150 0.058 1.027 0.302 2.322 0.043 2.582 2.074

Problem 1908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 235 430 271 278 308 297 261

N.S.

1 1.00 2.55 4.67 2.95 3.02 3.35 3.23 2.84

time (sec)

N/A 0.106 0.048 1.080 0.263 2.402 0.033 1.398 0.099

Problem 1909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 189 301 197 199 218 212 181

N.S.

1 1.00 2.91 4.63 3.03 3.06 3.35 3.26 2.78

time (sec)

N/A 0.074 0.022 1.001 0.272 2.606 0.026 2.089 0.076

Problem 1910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 109 172 121 120 129 127 103

N.S.

1 1.00 2.87 4.53 3.18 3.16 3.39 3.34 2.71

time (sec)

N/A 0.012 0.011 0.927 0.274 1.967 0.021 1.502 2.025

Problem 1911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 24 23 53 60 51 53

N.S.

1 1.00 1.00 1.71 1.64 3.79 4.29 3.64 3.79

time (sec)

N/A 0.002 0.001 0.859 0.267 1.846 0.015 1.777 0.027

Problem 1912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 167 266 244 247 209 259 280

N.S.

1 1.00 1.37 2.18 2.00 2.02 1.71 2.12 2.30

time (sec)

N/A 0.037 0.044 0.974 0.281 1.995 0.315 1.342 1.988

Problem 1913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 228 259 251 353 231 328 327

N.S.

1 1.00 1.75 1.99 1.93 2.72 1.78 2.52 2.52

time (sec)

N/A 0.103 0.048 0.993 0.292 1.960 0.578 1.496 2.018

Problem 1914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 230 254 259 392 258 250 291

N.S.

1 1.00 1.73 1.91 1.95 2.95 1.94 1.88 2.19

time (sec)

N/A 0.084 0.052 1.006 0.270 1.733 1.060 1.383 0.095

Problem 1915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 229 251 269 399 284 249 285

N.S.

1 1.00 1.76 1.93 2.07 3.07 2.18 1.92 2.19

time (sec)

N/A 0.079 0.055 0.988 0.292 2.160 1.919 1.260 0.120

Problem 1916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 581 1165 674 701 796 766 683

N.S.

1 1.00 3.36 6.73 3.90 4.05 4.60 4.43 3.95

time (sec)

N/A 0.304 0.117 1.017 0.283 1.675 0.064 1.623 2.261

Problem 1917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 493 982 570 594 673 646 570

N.S.

1 1.00 3.45 6.87 3.99 4.15 4.71 4.52 3.99

time (sec)

N/A 0.250 0.101 1.043 0.279 2.219 0.058 1.063 2.167

Problem 1918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 405 799 473 487 549 530 470

N.S.

1 1.00 3.40 6.71 3.97 4.09 4.61 4.45 3.95

time (sec)

N/A 0.196 0.084 1.035 0.267 2.907 0.049 1.307 0.178

Problem 1919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 360 616 368 380 427 412 356

N.S.

1 1.00 3.91 6.70 4.00 4.13 4.64 4.48 3.87

time (sec)

N/A 0.154 0.035 1.000 0.282 2.050 0.043 2.037 2.173

Problem 1920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 229 433 273 273 303 294 249

N.S.

1 1.00 3.52 6.66 4.20 4.20 4.66 4.52 3.83

time (sec)

N/A 0.110 0.049 1.127 0.293 2.115 0.037 1.666 2.091

Problem 1921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 151 250 171 166 178 177 143

N.S.

1 1.00 3.97 6.58 4.50 4.37 4.68 4.66 3.76

time (sec)

N/A 0.012 0.016 0.943 0.269 1.787 0.026 1.885 0.071

Problem 1922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 24 23 75 83 71 75

N.S.

1 1.00 1.00 1.71 1.64 5.36 5.93 5.07 5.36

time (sec)

N/A 0.002 0.001 0.909 0.295 1.927 0.018 1.571 0.034

Problem 1923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 304 491 429 441 408 469 510

N.S.

1 1.00 1.79 2.89 2.52 2.59 2.40 2.76 3.00

time (sec)

N/A 0.057 0.077 1.001 0.270 1.814 0.454 1.655 0.073

Problem 1924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 387 478 438 598 428 542 839

N.S.

1 1.00 2.08 2.57 2.35 3.22 2.30 2.91 4.51

time (sec)

N/A 0.178 0.080 1.063 0.279 2.093 0.940 1.403 2.002

Problem 1925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 388 467 446 663 447 448 690

N.S.

1 1.00 2.10 2.52 2.41 3.58 2.42 2.42 3.73

time (sec)

N/A 0.153 0.085 1.049 0.282 2.601 1.836 1.778 2.025

Problem 1926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 199 458 457 701 474 442 558

N.S.

1 1.00 1.06 2.45 2.44 3.75 2.53 2.36 2.98

time (sec)

N/A 0.146 0.066 1.015 0.285 3.347 23.235 1.305 2.120

Problem 1927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 114 188 169 170 136 174 188

N.S.

1 1.00 1.18 1.94 1.74 1.75 1.40 1.79 1.94

time (sec)

N/A 0.029 0.032 1.018 0.268 3.507 0.224 1.722 0.053

Problem 1928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 74 109 109 109 83 110 118

N.S.

1 1.00 1.01 1.49 1.49 1.49 1.14 1.51 1.62

time (sec)

N/A 0.021 0.020 0.974 0.288 3.768 0.176 1.920 1.989

Problem 1929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 43 56 60 60 44 59 62

N.S.

1 1.00 0.88 1.14 1.22 1.22 0.90 1.20 1.27

time (sec)

N/A 0.014 0.012 1.034 0.293 3.292 0.126 1.606 0.066

Problem 1930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 26 27 26 20 28 26

N.S.

1 1.00 1.00 1.04 1.08 1.04 0.80 1.12 1.04

time (sec)

N/A 0.013 0.006 0.876 0.269 3.295 0.066 1.473 0.044

Problem 1931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 11 22 10 7 22 10

N.S.

1 1.00 1.00 1.10 2.20 1.00 0.70 2.20 1.00

time (sec)

N/A 0.002 0.001 0.961 0.285 2.712 0.012 1.734 0.023

Problem 1932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 26 37 39 28 128 49 40

N.S.

1 1.00 0.72 1.03 1.08 0.78 3.56 1.36 1.11

time (sec)

N/A 0.006 0.009 0.929 0.266 2.566 0.170 1.930 0.084

Problem 1933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 53 58 92 97 233 82 77

N.S.

1 1.00 0.95 1.04 1.64 1.73 4.16 1.46 1.38

time (sec)

N/A 0.025 0.020 0.847 0.270 2.205 0.400 1.794 2.320

Problem 1934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 67 81 199 241 381 166 183

N.S.

1 1.00 0.82 0.99 2.43 2.94 4.65 2.02 2.23

time (sec)

N/A 0.036 0.037 0.962 0.273 2.004 0.615 1.899 2.256

Problem 1935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 106 104 347 420 570 238 313

N.S.

1 1.00 1.00 0.98 3.27 3.96 5.38 2.25 2.95

time (sec)

N/A 0.047 0.029 0.861 0.285 2.354 0.923 3.361 0.215

Problem 1936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 163 173 180 264 185 172 197

N.S.

1 1.00 1.60 1.70 1.76 2.59 1.81 1.69 1.93

time (sec)

N/A 0.068 0.040 0.840 0.273 2.453 0.780 3.780 0.103

Problem 1937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 114 114 120 168 128 107 130

N.S.

1 1.00 1.46 1.46 1.54 2.15 1.64 1.37 1.67

time (sec)

N/A 0.045 0.029 0.881 0.285 2.094 0.469 2.051 0.099

Problem 1938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 49 69 78 91 80 67 77

N.S.

1 1.00 0.83 1.17 1.32 1.54 1.36 1.14 1.31

time (sec)

N/A 0.029 0.017 0.743 0.268 2.757 0.298 1.553 0.069

Problem 1939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 26 35 40 39 39 26 39

N.S.

1 1.00 0.93 1.25 1.43 1.39 1.39 0.93 1.39

time (sec)

N/A 0.003 0.007 0.675 0.315 2.418 0.142 2.011 2.006

Problem 1940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 13 23 24 26 23 26

N.S.

1 1.00 1.00 0.93 1.64 1.71 1.86 1.64 1.86

time (sec)

N/A 0.002 0.002 0.653 0.279 2.000 0.075 1.317 0.028

Problem 1941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 67 81 201 221 381 162 182

N.S.

1 1.00 0.82 0.99 2.45 2.70 4.65 1.98 2.22

time (sec)

N/A 0.037 0.039 0.803 0.282 2.509 0.643 1.930 2.157

Problem 1942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 98 109 373 469 634 212 330

N.S.

1 1.00 0.90 1.00 3.42 4.30 5.82 1.94 3.03

time (sec)

N/A 0.054 0.051 2.589 0.289 2.692 1.007 1.715 2.210

Problem 1943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 128 140 564 729 881 332 542

N.S.

1 1.00 0.90 0.98 3.94 5.10 6.16 2.32 3.79

time (sec)

N/A 0.077 0.077 0.801 0.311 2.794 1.484 3.482 2.342

Problem 1944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 165 840 1101 1221 435 798

N.S.

1 1.00 0.91 0.97 4.94 6.48 7.18 2.56 4.69

time (sec)

N/A 0.108 0.107 2.519 0.337 2.976 2.418 1.512 2.583

Problem 1945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 120 184 209 240 230 174 213

N.S.

1 1.00 1.08 1.66 1.88 2.16 2.07 1.57 1.92

time (sec)

N/A 0.060 0.043 0.768 0.279 3.074 10.932 2.171 2.086

Problem 1946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 91 122 138 135 155 106 135

N.S.

1 1.00 3.25 4.36 4.93 4.82 5.54 3.79 4.82

time (sec)

N/A 0.003 0.021 50.992 0.272 2.932 1.487 1.781 0.055

Problem 1947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 56 71 97 93 104 60 96

N.S.

1 1.00 0.86 1.09 1.49 1.43 1.60 0.92 1.48

time (sec)

N/A 0.027 0.014 0.108 0.275 2.889 0.436 2.034 0.042

Problem 1948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 27 35 63 62 65 27 63

N.S.

1 1.00 0.71 0.92 1.66 1.63 1.71 0.71 1.66

time (sec)

N/A 0.016 0.007 0.056 0.265 2.380 0.261 2.275 2.009

Problem 1949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 13 23 46 49 23 48

N.S.

1 1.00 1.00 0.93 1.64 3.29 3.50 1.64 3.43

time (sec)

N/A 0.002 0.003 0.051 0.269 2.682 0.146 1.489 1.992

Problem 1950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 130 125 536 608 802 322 505

N.S.

1 1.00 1.00 0.96 4.12 4.68 6.17 2.48 3.88

time (sec)

N/A 0.057 0.033 0.168 0.315 3.661 1.633 2.824 2.268

Problem 1951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 144 155 816 1021 1178 358 763

N.S.

1 1.00 0.91 0.97 5.13 6.42 7.41 2.25 4.80

time (sec)

N/A 0.097 0.054 0.156 0.334 3.054 3.721 1.537 0.517

Problem 1952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 179 189 1133 1494 1571 547 1098

N.S.

1 1.00 0.93 0.98 5.90 7.78 8.18 2.85 5.72

time (sec)

N/A 0.132 0.069 0.204 0.384 3.908 9.149 1.551 2.692

Problem 1953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 204 215 1492 2009 2009 673 1469

N.S.

1 1.00 0.92 0.97 6.72 9.05 9.05 3.03 6.62

time (sec)

N/A 0.174 0.088 0.234 0.435 2.468 26.746 2.607 3.016

Problem 1954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 196 278 1282 199 218 311 1541

N.S.

1 1.00 1.34 1.90 8.78 1.36 1.49 2.13 10.55

time (sec)

N/A 0.105 0.041 0.059 0.300 2.144 0.054 1.093 4.770

Problem 1955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 163 191 970 162 168 254 1095

N.S.

1 1.00 1.12 1.31 6.64 1.11 1.15 1.74 7.50

time (sec)

N/A 0.090 0.034 0.053 0.287 2.635 0.044 2.045 3.593

Problem 1956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 130 121 680 125 133 199 734

N.S.

1 1.00 0.89 0.83 4.66 0.86 0.91 1.36 5.03

time (sec)

N/A 0.074 0.029 0.048 0.278 3.171 0.031 1.071 3.007

Problem 1957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 97 68 450 88 87 143 438

N.S.

1 1.00 0.78 0.54 3.60 0.70 0.70 1.14 3.50

time (sec)

N/A 0.063 0.023 0.061 0.271 3.198 0.026 0.748 2.579

Problem 1958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 64 32 258 51 49 88 219

N.S.

1 1.00 0.82 0.41 3.31 0.65 0.63 1.13 2.81

time (sec)

N/A 0.039 0.015 0.010 0.299 1.700 0.021 0.637 2.499

Problem 1959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 18 19 14 20 19 18 76

N.S.

1 1.00 0.67 0.70 0.52 0.74 0.70 0.67 2.81

time (sec)

N/A 0.005 0.005 0.016 0.280 1.508 0.013 0.600 2.169

Problem 1960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 61 108 0 61 44 97 -1

N.S.

1 1.00 0.50 0.89 0.00 0.50 0.36 0.80 -0.01

time (sec)

N/A 0.043 0.023 0.057 0.000 1.579 0.112 0.632 0.000

Problem 1961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 87 139 0 93 60 101 -1

N.S.

1 1.00 0.66 1.05 0.00 0.70 0.45 0.77 -0.01

time (sec)

N/A 0.055 0.036 0.063 0.000 1.952 0.202 0.794 0.000

Problem 1962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 73 118 0 97 80 105 -1

N.S.

1 1.00 0.52 0.84 0.00 0.69 0.57 0.75 -0.01

time (sec)

N/A 0.059 0.025 0.073 0.000 1.965 0.266 0.778 0.000

Problem 1963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 71 66 0 76 88 94 75

N.S.

1 1.00 1.73 1.61 0.00 1.85 2.15 2.29 1.83

time (sec)

N/A 0.015 0.022 0.049 0.000 3.094 0.379 0.685 2.099

Problem 1964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 73 68 0 89 104 96 77

N.S.

1 1.00 0.50 0.47 0.00 0.61 0.71 0.66 0.53

time (sec)

N/A 0.053 0.020 0.050 0.000 3.101 0.488 0.704 2.139

Problem 1965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 73 68 0 99 116 96 77

N.S.

1 1.00 0.50 0.47 0.00 0.68 0.79 0.66 0.53

time (sec)

N/A 0.054 0.025 0.059 0.000 2.646 0.567 0.760 2.123

Problem 1966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 73 68 0 110 128 96 77

N.S.

1 1.00 0.50 0.47 0.00 0.75 0.88 0.66 0.53

time (sec)

N/A 0.053 0.021 0.049 0.000 2.731 0.651 0.610 2.118

Problem 1967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 73 68 0 119 139 96 77

N.S.

1 1.00 0.50 0.47 0.00 0.82 0.95 0.66 0.53

time (sec)

N/A 0.052 0.023 0.058 0.000 2.884 0.817 0.836 2.130

Problem 1968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 432 564 2075 487 0 761 -1

N.S.

1 1.00 1.70 2.22 8.17 1.92 0.00 3.00 -0.00

time (sec)

N/A 0.242 0.090 0.075 0.300 1.956 0.000 0.716 0.000

Problem 1969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 377 489 1678 422 0 660 -1

N.S.

1 1.00 1.48 1.93 6.61 1.66 0.00 2.60 -0.00

time (sec)

N/A 0.212 0.082 0.079 0.304 2.427 0.000 1.066 0.000

Problem 1970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 322 414 1282 357 0 561 -1

N.S.

1 1.00 1.27 1.63 5.05 1.41 0.00 2.21 -0.00

time (sec)

N/A 0.186 0.068 0.093 0.289 2.214 0.000 0.937 0.000

Problem 1971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 267 339 972 292 0 461 -1

N.S.

1 1.00 1.22 1.55 4.44 1.33 0.00 2.11 -0.00

time (sec)

N/A 0.155 0.058 0.064 0.297 2.544 0.000 0.802 0.000

Problem 1972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 212 264 680 227 0 360 -1

N.S.

1 1.00 1.23 1.53 3.95 1.32 0.00 2.09 -0.01

time (sec)

N/A 0.130 0.048 0.076 0.299 2.438 0.000 1.061 0.000

Problem 1973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 157 189 450 162 0 260 -1

N.S.

1 1.00 1.26 1.51 3.60 1.30 0.00 2.08 -0.01

time (sec)

N/A 0.091 0.036 0.074 0.319 2.030 0.000 0.690 0.000

Problem 1974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 102 114 258 97 0 162 -1

N.S.

1 1.00 1.31 1.46 3.31 1.24 0.00 2.08 -0.01

time (sec)

N/A 0.030 0.024 0.071 0.285 2.566 0.000 1.027 0.000

Problem 1975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 25 22 23 42 158 86 30

N.S.

1 1.00 0.93 0.81 0.85 1.56 5.85 3.19 1.11

time (sec)

N/A 0.005 0.005 0.069 0.277 2.215 0.157 0.991 2.162

Problem 1976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 133 225 0 170 0 266 -1

N.S.

1 1.00 0.63 1.07 0.00 0.81 0.00 1.27 -0.00

time (sec)

N/A 0.072 0.046 0.080 0.000 2.720 0.000 0.743 0.000

Problem 1977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 183 327 0 251 0 268 -1

N.S.

1 1.00 0.77 1.37 0.00 1.05 0.00 1.12 -0.00

time (sec)

N/A 0.115 0.086 0.075 0.000 2.164 0.000 0.963 0.000

Problem 1978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 185 350 0 271 0 265 -1

N.S.

1 1.00 0.78 1.47 0.00 1.14 0.00 1.11 -0.00

time (sec)

N/A 0.105 0.084 0.102 0.000 2.204 0.000 0.906 0.000

Problem 1979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 181 330 0 275 0 260 -1

N.S.

1 1.00 0.76 1.39 0.00 1.16 0.00 1.09 -0.00

time (sec)

N/A 0.098 0.062 0.078 0.000 2.024 0.000 0.901 0.000

Problem 1980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 144 276 0 251 0 268 -1

N.S.

1 1.00 0.59 1.12 0.00 1.02 0.00 1.09 -0.00

time (sec)

N/A 0.092 0.066 0.074 0.000 2.044 0.000 0.743 0.000

Problem 1981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 158 197 0 198 0 260 449

N.S.

1 1.00 3.85 4.80 0.00 4.83 0.00 6.34 10.95

time (sec)

N/A 0.015 0.044 0.074 0.000 1.768 0.000 0.712 2.149

Problem 1982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 162 201 0 214 0 264 449

N.S.

1 1.00 1.65 2.05 0.00 2.18 0.00 2.69 4.58

time (sec)

N/A 0.033 0.040 0.066 0.000 1.523 0.000 0.763 2.135

Problem 1983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 162 201 0 224 0 264 449

N.S.

1 1.00 1.09 1.35 0.00 1.50 0.00 1.77 3.01

time (sec)

N/A 0.046 0.042 0.081 0.000 2.303 0.000 0.821 2.154

Problem 1984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 162 201 0 235 0 264 449

N.S.

1 1.00 0.64 0.80 0.00 0.93 0.00 1.05 1.78

time (sec)

N/A 0.092 0.040 0.075 0.000 2.232 0.000 0.738 2.168

Problem 1985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 162 201 0 244 0 264 449

N.S.

1 1.00 0.64 0.79 0.00 0.96 0.00 1.04 1.77

time (sec)

N/A 0.087 0.043 0.075 0.000 2.126 0.000 0.626 2.173

Problem 1986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 162 201 0 256 0 264 449

N.S.

1 1.00 0.64 0.79 0.00 1.01 0.00 1.04 1.77

time (sec)

N/A 0.089 0.040 0.069 0.000 2.102 0.000 0.654 2.201

Problem 1987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 162 201 0 263 0 264 449

N.S.

1 1.00 0.64 0.79 0.00 1.04 0.00 1.04 1.77

time (sec)

N/A 0.086 0.050 0.092 0.000 3.389 0.000 0.635 2.200

Problem 1988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 756 1034 3054 887 0 1387 -1

N.S.

1 1.00 2.09 2.86 8.44 2.45 0.00 3.83 -0.00

time (sec)

N/A 0.473 0.160 0.076 0.314 3.587 0.000 1.287 0.000

Problem 1989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 679 925 2555 794 0 1242 -1

N.S.

1 1.00 1.88 2.56 7.06 2.19 0.00 3.43 -0.00

time (sec)

N/A 0.406 0.146 0.083 0.302 2.884 0.000 1.209 0.000

Problem 1990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 602 816 2076 701 0 1099 -1

N.S.

1 1.00 1.66 2.25 5.73 1.94 0.00 3.04 -0.00

time (sec)

N/A 0.361 0.127 0.088 0.306 3.304 0.000 0.973 0.000

Problem 1991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 525 707 1678 608 0 955 -1

N.S.

1 1.00 1.69 2.27 5.40 1.95 0.00 3.07 -0.00

time (sec)

N/A 0.306 0.106 0.068 0.283 2.008 0.000 1.137 0.000

Problem 1992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 448 598 1282 515 0 810 -1

N.S.

1 1.00 1.70 2.27 4.87 1.96 0.00 3.08 -0.00

time (sec)

N/A 0.260 0.095 0.068 0.291 3.044 0.000 1.471 0.000

Problem 1993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 371 489 972 422 0 666 -1

N.S.

1 1.00 1.69 2.23 4.44 1.93 0.00 3.04 -0.00

time (sec)

N/A 0.210 0.079 0.066 0.290 2.199 0.000 1.277 0.000

Problem 1994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 294 380 680 329 0 523 -1

N.S.

1 1.00 1.71 2.21 3.95 1.91 0.00 3.04 -0.01

time (sec)

N/A 0.172 0.066 0.076 0.283 2.431 0.000 0.871 0.000

Problem 1995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 217 271 450 236 0 379 -1

N.S.

1 1.00 1.74 2.17 3.60 1.89 0.00 3.03 -0.01

time (sec)

N/A 0.130 0.052 0.073 0.290 2.334 0.000 0.858 0.000

Problem 1996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 140 162 258 143 0 236 -1

N.S.

1 1.00 1.79 2.08 3.31 1.83 0.00 3.03 -0.01

time (sec)

N/A 0.032 0.033 0.074 0.277 2.371 0.000 0.751 0.000

Problem 1997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 25 22 23 64 226 120 14

N.S.

1 1.00 0.93 0.81 0.85 2.37 8.37 4.44 0.52

time (sec)

N/A 0.005 0.006 0.062 0.276 2.330 0.346 1.256 2.239

Problem 1998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 248 428 0 335 0 522 -1

N.S.

1 1.00 0.83 1.44 0.00 1.12 0.00 1.75 -0.00

time (sec)

N/A 0.108 0.079 0.122 0.000 2.577 0.000 0.916 0.000

Problem 1999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 320 601 0 467 0 519 -1

N.S.

1 1.00 0.93 1.74 0.00 1.35 0.00 1.50 -0.00

time (sec)

N/A 0.202 0.141 0.072 0.000 2.817 0.000 0.927 0.000

Problem 2000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

347 347 321 669 0 516 0 509 -1

N.S.

1 1.00 0.93 1.93 0.00 1.49 0.00 1.47 -0.00

time (sec)

N/A 0.181 0.099 0.075 0.000 1.766 0.000 0.677 0.000

[next] [prev] [prev-tail] [front] [up]